void test() {
    int i = 0;
    while (true) { }
    while (i < 10) { }
}
